$\forall$$T$:Type, $l$:$T$ List, $i$:$\mathbb{Z}$, $x$:$T$. $l$[$i$:=$x$] $\in$ $T$ List